Algorithmic solution of higher-type equations Mart´ın Escard´o School of Computer Science, University of Birmingham, UK Version of June 10, 2011 Abstract

Source URL: www.cs.bham.ac.uk

• Mathematical analysis
• Calculus
• Models of computation
• Lambda calculus
• Metric space
• Computable function
• Function
• Continuous function
• Uniform continuity
• Mathematics
• Computability theory
• Theory of computation

The Ackermann Award 2012 Thierry Coquand1 , Anuj Dawar2 , and Damian Niwiński3 1,2,3 Members of EACSL Jury of the Ackermann Award∗

Source URL: drops.dagstuhl.de

• Computability theory
• Theory of computation
• Lambda calculus
• Logic in computer science
• Decision problem
• Combinatory logic
• Profinite group
• Computability
• Henk Barendregt
• Theoretical computer science
• Mathematical logic
• Mathematics

Irrelevance, Heterogeneous Equality, and Call-by-value Dependent Type Systems Vilhelm Sj¨oberg Chris Casinghino

Source URL: www.cis.upenn.edu

• Models of computation
• Computability theory
• Lambda calculus
• Function
• Mathematics
• Mathematical logic
• Theoretical computer science

Towards Automatic Generation of Vulnerability-Based Signatures David Brumley, James Newsome, and Dawn Song Carnegie Mellon University Pittsburgh, PA, USA {dbrumley,jnewsome,dawnsong}@cmu.edu

Source URL: users.ece.cmu.edu

• Computability theory
• Theoretical computer science
• Software testing
• Hacking
• Vulnerability
• Social vulnerability
• Buffer overflow
• Electronic signature
• Halting problem
• Mathematics
• Applied mathematics
• Computer science

Simply Scheme Brian Harvey Matthew Wright Foreword by Harold Abelson

Source URL: www.cs.berkeley.edu

• Recursion
• Theory of computation
• Programming idioms
• Computability theory
• Functional languages
• Lisp
• Mutual recursion
• Backtracking
• Function
• Computer programming
• Software engineering
• Computing

The Call-by-need Lambda Calculus, Revisited Stephen Chang and Matthias Felleisen College of Computer Science Northeastern University Boston, Massachusetts, USA { stchang | matthias } @ ccs.neu.edu

Source URL: www.ccs.neu.edu

• Theoretical computer science
• Lambda calculus
• Computability theory
• Evaluation strategy
• Calculus
• Free variables and bound variables
• Function
• Parameter
• Algorithm
• Mathematics
• Mathematical logic
• Applied mathematics

P125 even answers 9th Edition

Source URL: classroom.sdmesa.net

Toward Reflective Application Testing in Open Environments Eyvind W. Axelsen, Einar Broch Johnsen, and Olaf Owe Department of Informatics, University of Oslo Abstract Many distributed applications can be understood in te

Source URL: www.nik.no

• Mathematics
• Logic in computer science
• Maude system
• Computability theory
• Abstraction
• Rewriting
• Predicate
• Philosophy
• Normal form
• Theoretical computer science
• Formal languages
• Programming language theory

In the old days, they “defined procedures” like this. 4 Defining Your Own Procedures

Source URL: www.cs.berkeley.edu

• Subroutines
• Functional programming
• Computability theory
• Function
• Scheme
• Parameter
• ALGOL 68
• Constructor
• Lisp
• Software engineering
• Computer programming
• Computing

INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE[removed]Motif Statistics Pierre NICODE ME, Bruno SALVY, Philippe FLAJOLET

Source URL: algo.inria.fr

• Computer science
• Applied mathematics
• Deterministic finite automaton
• Nondeterministic finite automaton
• Generating function
• Markov chain
• Probability-generating function
• Computability
• Finite-state machine
• Automata theory
• Models of computation
• Theoretical computer science